Effective interactive resolution of static analysis alarms

Static Analysis of Triangular Plates

This paper may be regarded as a new numerical method for the analysis of triangular thin plates using the natural area coordinates. Previous studies on the solution of triangular plates with different boundary conditions are mostly based on the Rayleigh-Ritz principle which is performed in the Cartesian coordinates. Consequently, manipulation of the geometry and numerical calculation of the int...

Static Analysis of Information Release in Interactive Programs

In this paper we present a model for analysing information release (or leakage) in programs written in a simple imperative language. We present the semantics of the language, an attacker model, and the notion of an information release policy. Our key contribution is the use of static analysis to compute information release of programs and to verify it against a policy. We demonstrate our approa...

Static Analysis of Triangular Plates

This paper may be regarded as a new numerical method for the analysis of triangular thin plates using the natural area coordinates. Previous studies on the solution of triangular plates with different boundary conditions are mostly based on the Rayleigh-Ritz principle which is performed in the Cartesian coordinates. Consequently, manipulation of the geometry and numerical calculation of the int...

Effective Management of Static Analysis Vulnerabilities and Defects

Inferring Effective Types for Static Analysis of C Programs

The C language does not have a specific Boolean type: Boolean values are encoded with integers. This is also true for enumerated types, that may be freely and silently cast to and from integers. On the other hand, verification tools aiming at inferring the possible values of variables at each program point may benefit from the information that some (integer) variables are used solely as Boolean...